msg-spec(ds;da) == kl:KndIdLnk fp msg-item(ds;da;1of(kl);2of(kl)) List 

latex

Definitions	a:A fp B(a), x:AB(x), Knd, IdLnk, type List, msg-item(ds;da;k;l), 1of(t), 2of(t)
FDL editor aliases	msg-spec